Integrity Constraints: Semantics and Applications
نویسندگان
چکیده
منابع مشابه
Declarative Semantics for Active Integrity Constraints
We study active integrity constraints, a formalism designed to describe integrity constraints on databases and to specify preferred ways to enforce them. The original semantics proposed for active integrity constraints is based on the concept of a founded repair. We point out that groundedness underlying founded repairs does not prevent cyclic justifications and so, may be inappropriate in some...
متن کاملA semantics for positive abductive logic programs with implicative integrity constraints
We propose a novel semantics for positive abductive logic programs with implicative integrity constraints, namely integrity constraints in the form of implications. We show that this semantics is better suited to deal with several applications of abductive logic programming. Moreover, we prove that, in the propositional case, the existing abductive proof procedure IFF is sound and “strongly” co...
متن کاملA semantics for positive abductive programs with implicative and denial integrity constraints
We propose a semantics for positive abductive logic programs with implicative integrity constraints, in the form of implications, as well as denial integrity constraints, in the form of negated conjunctions. We argue that this semantics is better suited to deal with several applications of abductive logic programming. We prove that, in the propositional case, the existing abductive proof proced...
متن کاملDeriving Spatial Integrity Constraints from Geographic Application Schemas
Integrity constraints of various kinds must be observed when creating or updating a database in order to preserve the semantics and the quality of stored data (Elmasri & Navathe, 2000). Within the scope of geographic applications, integrity assurance requires special attention from the designer, since most geographic applications use data that depend on spatial relationships (Egenhofer & Franzo...
متن کاملDescribing Integrity Constraints in Advanced Database Systems
In advanced database applications, specifying integrity constraints in a declarative way allows to maintain the database consistency so that the database satis es the integrity constraints. By associating each data with its status, in this paper, we show the consistency information of advanced database applications can be expressed declaratively by a set of clauses, which are classi ed into fou...
متن کامل